岩波講座 ソフトウェア科学
(基礎)1 計算システム入門
(基礎)2 プログラミングの方法
『(基礎)3 アルゴリズムとデータ構造』
(基礎)4 プログラミング言語
『(環境)5 プログラミング言語処理系』
(環境)6 オペレーティングシステム
(環境)7 ソフトウェア実行／開発環境
(処理)8 記号処理プログラミング
(処理)9 数値処理プログラミング
(処理)10 グラフィクスとマンマシンシステム
マンマシンインターフェース
『(理論)11 ソフトウェア科学のための論理学』
『(理論)12 計算モデルの基礎理論』
(理論)13 プログラムの基礎理論
(知識)14 知識と推論
15 自然言語処理
(知識)16 認識と学習
『(展望)17 モデルと表現』